#include <bits/stdc++.h>
using namespace std;
int t,a,b,c;
int read();
void wt(int);
int main(){
	freopen("detect.in","r",stdin);
	freopen("detect.out","w",stdout);
	t=read();
	a=read();
	c=read();
	b=read();
	b=read();
	for(int i=1;i<=a;i++){
		b=read();
		b=read();
		b=read();
	}
	for(int i=1;i<=c;i++){b=read();}
	if(t==1){printf("3 3\n");}
	else if(t==20&&a==10){printf("10 7\n10 6\n9 6\n10 6\n9 7\n9 7\n9 8\n10 6\n10 8\n9 6\n9 7\n10 8\n8 7\n10 6\n10 7\n9 7\n9 7\n9 7\n9 7\n9 8\n");}
	else if(t==20&&a==3000&&c==1606){printf("2149 1605\n2354 1241\n2909 2440\n2266 2263\n2990 2098\n163 905\n1915 587\n1384 286\n0 2556\n1066 2711\n17388 80637\n16426 70725\n19783 57044\n67559 26319\n53536 63393\n55684 84811\n9911 74680\n8092 80156\n37099 71407\n95747 63156\n");}
	else if(t==20&&a==3000&&c==864){printf("2996 863\n2994 285\n2991 292\n2995 2880\n2982 2137\n2999 2680\n2995 2540\n2986 1457\n2929 1919\n2997 2547\n99691 35478\n99987 68384\n99335 81601\n98570 49067\n100000 88807\n99990 35942\n99900 65610\n99981 44819\n99999 18514\n99955 92874\n");}
	else if(t==20&&a==3000&&c==2198){printf("2896 945\n2936 853\n2916 1284\n2958 1946\n2934 547\n2951 290\n2939 1729\n2912 1346\n2925 1382\n2946 783\n97336 56379\n97579 4302\n99107 55715\n99534 5319\n97519 72666\n98905 44332\n99278 76554\n99558 73837\n99589 27272\n99293 66848\n");}
	return 0;
}
int read(){
	int x=0,f=1; char c;
	while((c=getchar())>'9'||c<'0')if(c=='-')f=-1;
	x=(c^48);
	while((c=getchar())<='9'&&c>='0')x=(x<<3)+(x<<1)+(c^48);
	return x*f;
}
void wt(int q){
	if(q<0){putchar('-');q=-q;}
	if(q>9)wt(q/10);
	putchar('0'+q%10);
}
